181. Rough Sets :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

رده :
Q335
.
B993
1991

182. Scheduling in Parallel Computing Systems

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Information theory.,Logic, Symbolic and mathematical.

183. Soft Computing for Knowledge Discovery

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.

184. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses

رده :
Q
334
.
S632
1990

185. Special Topics in Mathematics for Computer Scientists

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات

رده :
QA
76
.
9
..
M35S6
2015
E-Book
,

186. Structural Complexity I

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Logic, Symbolic and mathematical.

187. Structural Complexity II

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Logic design.,Logic, Symbolic and mathematical.

رده :
QA267
.
B956
1990

188. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht

المؤلف:

المکتبة: (طهران)

موضوع: ، Ehrenfeucht, Andrzej,، Computer science,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1261

189. Substructural logics

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Computer science,، Logic, Symbolic and mathematical

رده :
QA
76
.
S85
1993

190. Subsystems of Second Order Arithmetic

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.

رده :
HF1008
.
B978
1999

191. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
465

192. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
76
.
L5663
1991

193. The essence of logic

المؤلف:

المکتبة: (طهران)

موضوع: Computer science , Logic, Symbolic and mathematical

رده :
QA
76
.
K396
1996

194. The logic of information structures

المؤلف:

المکتبة: (طهران)

موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
681

195. The logic of information structures

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical

رده :
QA
76
.
W235
1993

196. Typed Lambda Calculi and Applications :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Logic design.,Logic, Symbolic and mathematical.

197. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.

198. Vivid logic

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Expert systems (Computer science),Logic, Symbolic and mathematical.

رده :
QA
,
76
.
76
,.
E95
,
W33
,
1994

199. Vivid logic :

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;

200. Vivid logic : knowledge-based reasoning with two kinds of negation

المؤلف:

المکتبة: (طهران)

موضوع: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
764